CISC 204 Logic for Computing Science
CISC 204 Logic for Computing Science Units: 3.00
Elements of mathematical logic with computing applications. Formal proof systems for propositional and predicate logic. Interpretations, validity, and satisfiability. Introduction to soundness, completeness and decidability.
Learning Hours: 120 (36 Lecture, 84 Private Study)
Requirements: Prerequisite Level 2 or above and a minimum grade of a C- (obtained in any term) or a 'Pass' (obtained in Winter 2020) in (CISC 121 and [CISC 102 or MATH 110]).
Offering Faculty: Faculty of Arts and Science
Concurrent Education Degree Requirements
https://www.queensu.ca/academic-calendar/education/concurrent-education-program/degree-requirements/
...0, CISC 102 /3.0, CISC 203 /3.0, CISC 204 /3.0, CISC 271...